CompTalks - From a Meta-model Towards a Framework for Application-Level Interaction Protocols
نویسندگان
چکیده
This work presents CompTalks – a novel concept and meta-model for specifying application-level communication protocols. The goal is to enable custom fine-grained and elaborate message exchange between distributed yet tightly-coupled parties. Hence, the concept of a conversation protocol is introduced. Its reference implementation – the CompTalks Framework – is a Java-based middleware toolkit that supports development, testing, analysis, validation and running highly interactive services. An important feature is the ability to verify the developed protocols at compile time by using a Petri Netbased analyzer. The framework was successfully applied to develop a protocol for GSEngine which serves as the runtime system of the ViroLab virtual laboratory, enabling development and execution of complex collaborative
منابع مشابه
TEXTUAL AND INTER-TEXTUAL ANALYSES OF IRANIAN EFL UNDERGRADUATES’ TYPES OF ENGLISH READING TOWARDS DEVELOPING A CAREFUL READING FRAMEWORK
This study investigated textual and inter-textual reading of a group of Iranian EFL undergraduates’ careful English reading types. In this research, Khalifa and Weir’s (2009) reading framework was used to propose a more inclusive aspect of a careful reading framework and the reading construct for instructional and assessment goals. The participants of this study were B.A. students of English Tr...
متن کاملTowards Metareasoning for Human-Robot Interaction
This paper proposes a model of metareasoning for HumanRobot Interaction (HRI). Robots’ basic abilities for HRI—planning, learning and dialogue—are characterized as three loops in the model, with each spanning ground, object and meta-level. The model provides a conceptualization of HRI and a framework for incremental development of large HRI systems such as service robots by building meta-level ...
متن کاملTowards Meta-Agent Protocols
Software agents \live" in changing environments. Perception and actions of agents need to adapt dynamically to new situations. This paper is concerned with meta-agent protocols, an approach to support the modular and portable implementation of various kinds of agent systems. Meta-agent protocols are derived from object-based reeective systems that allow access to the state and structure of a pr...
متن کاملAuto-Ethnography: “Employee Behavior Towards Supervisors and Managers” Or “Interaction as the Ideal Behavior”
Before managing the staff in dealing with supervisors and managers, it is necessary to recognize types of behavior they exhibit. This has not been previously analyzed through concise research. Using Analytic Auto-ethnography can help us to provide a model based on two indicators of courage and adaptability, which can be low, medium or high. Four main types of employee behaviors towards supervis...
متن کاملFormally Verifiable Networking
This paper proposes Formally Verifiable Networking (FVN), a novel approach towards unifying the design, specification, implementation, and verification of networking protocols within a logic-based framework. In FVN, formal logical statements are used to specify the behavior and the properties of the protocol. FVN uses declarative networking as an intermediary layer between high-level logical sp...
متن کامل